Formal definitions of web information search
نویسندگان
چکیده
منابع مشابه
Identifying Ferdowsi University of Mashhad Graduated Students' Search Strategies during their Information-searching through the Web
Purpose: the aim was to identify users' search strategies and the rate of using search strategies on the web. Method: It is a practical survey. The statistical population included all the postgraduate students in the first semester at Ferdowsi University of Mashhad. 95 students were selected by stratified random sampling method. To gather the data, log files were used. Findings: 12 search strat...
متن کاملFormal Definitions of Fraud
In this paper, we give formal analyses of notions of fraud for the aim of verification of trade procedures. A fraud possibility is seen as an undesirable property of a trade procedure which its specification should not satisfy. It is argued that fraud may occur (in a trade procedure) when an agent violates an obligation and he/she also deceives another agent (a controller) about the fulfilment ...
متن کاملWeb Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملExploiting Bilingual Information to Improve Web Search
Web search quality can vary widely across languages, even for the same information need. We propose to exploit this variation in quality by learning a ranking function on bilingual queries: queries that appear in query logs for two languages but represent equivalent search interests. For a given bilingual query, along with corresponding monolingual query log and monolingual ranking, we generate...
متن کاملWeb Search Effectiveness: An Information Integration Perspective
Let us begin with a brief analysis of the stated topic of this workshop: user perspectives on Web search effectiveness. Clearly one of the goals of this workshop is to bring a variety of perspectives to bear on the issue of how to evaluate Web search effectiveness. This paper does not deal with the evaluation issue per se, but rather tries to locate evaluation of Web search effectiveness within...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Society for Information Science and Technology
سال: 2007
ISSN: 0044-7870
DOI: 10.1002/meet.1450430152